A Reengineering Method from Procedural SW to Object-Oriented SW for SaaS in Cloud Computing

One of the strong requirements for SaaS in cloud computing is the reengineering capability to transform procedural SW to object-oriented SW in case that there is no object-oriented SW available for a target application but procedural SW. Consequently it will be necessary to convert the procedural to the object-oriented automatically by quantifiably acceptable means of conversion that guarantees the quality of SaaS. This paper presents such a conversion method from C to C++ with the quantifiable means based on similarities for classes and inheritance required for SaaS. The first phase of the conversion is to simplify the C source code into a graph with a minimum number of tightly coupled components. The second phase is to generate all the possible groups of the class candidates from the graph. The third phase is to generate class signature similarities in each group to determine class inheritance. The last phase is to generate class and inheritance similarities between each group and the domain in the application. Compared with other approaches, this method gives SaaS experts with a comprehensive and integrated base to control selection of the best or optimal group of the class candidates for the application from cloud computing

dT-Calculus: A Formal Method to Specify Distributed Mobile Real-Time IoT Systems

In general, process algebra can be the most suitable formal method to specify IoT systems due to the equivalent notion of processes as things. However there are some limitations for distributed mobile real-time IoT systems. For example, Timed pi-Calculus has capability of specifying time property, but is lack of direct specifying both execution time of action and mobility of process at the same time. And d-Calculus has capability of specifying mobility of process itself, but is lack of specifying various time properties of both action and process, such as, ready time, timeout, execution time, deadline, as well as priority and repetition. In order to overcome the limitations, this paper presents a process algebra, called, dT-Calculus, extended from d-Calculus, by providing with capability of specifying the set of time properties, as well as priority and repetition. Further the method is implemented as a tool, called SAVE, on ADOxx meta-modeling platform. It can be considered one of the most practical and innovative approaches to specify distributed mobile real-time IoT systems

An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem

This paper motivates, describes, demonstrates in use, and evaluates the Open Models Laboratory (OMiLAB)—an open digital ecosystem designed to help one conceptualize and operationalize conceptual modeling methods. The OMiLAB ecosystem, which a generalized understanding of “model value” motivates, targets research and education stakeholders who fulfill various roles in a modeling method\u27s lifecycle. While we have many reports on novel modeling methods and tools for various domains, we lack knowledge on conceptualizing such methods via a full-fledged dedicated open ecosystem and a methodology that facilitates entry points for novices and an open innovation space for experienced stakeholders. This gap continues due to the lack of an open process and platform for 1) conducting research in the field of modeling method design, 2) developing agile modeling tools and model-driven digital products, and 3) experimenting with and disseminating such methods and related prototypes. OMiLAB incorporates principles, practices, procedures, tools, and services required to address the issues above since it focuses on being the operational deployment for a conceptualization and operationalization process built on several pillars: 1) a granularly defined “modeling method” concept whose building blocks one can customize for the domain of choice, 2) an “agile modeling method engineering” framework that helps one quickly prototype modeling tools, 3) a model-aware “digital product design lab”, and 4) dissemination channels for reaching a global community. In this paper, we demonstrate and evaluate the OMiLAB in research with two selected application cases for domain- and case-specific requirements. Besides these exemplary cases, OMiLAB has proven to effectively satisfy requirements that almost 50 modeling methods raise and, thus, to support researchers in designing novel modeling methods, developing tools, and disseminating outcomes. We also measured OMiLAB’s educational impact

δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications

Some process algebras were applied to enterprise business modelling for formal specification and verification. However the algebras mostly dealt with stationary cases but the distributed and mobile. π-calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) π-calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents new process algebra, called δ-calculus, to specify direct and synchronous movements of business processes over geo-temporal business space, where a process can be nested in another process, and whose configuration is changed by the movements. Any violation of safety or security of the systems caused by the movements can be detected and prevented by the properties of the movements: synchrony, priority and deadline. It means that any movement must get the proper permission with the required priority in time. In the enterprise modelling, it will be critical to adapt this kind of concept for business safety and security. A tool, called SAVE, was developed on ADOxx meta-modelling platform to demonstrate the concept

PGA 2.0: A Modeling Technique for the Alignment of the Organizational Strategy and Processes

Successfully aligning a company’s strategy with its processes is a major concern in practice. Indeed, almost half of the organizations are able to implement a mere 60% of its objectives. This problem has attracted attention in Strategic Management, Organization, and Conceptual Modeling literature. In previous research, we presented a first version of the Process-Goal Alignment (PGA) technique, which is a model-based approach for realizing strategic fit that was designed as the result of an iteration of Action Design Research (ADR). This chapter supplements the first PGA version by reflection and learning during a second cycle of ADR, which entails further development and application of the modeling technique in four real-life case studies. As such, this chapter formalizes the initial design in combination with the insights from the case studies, which results in PGA version 2.0. This also includes a description of the proof-of-concept version of the ADOxx modeling tool. Finally, we also present a brief outlook of future PGA research opportunities